#include <stdio.h>

int main()
{
	int i=12345;
	printf("%d %d\n",i);
	printf("%d %f\n",i, i);
	return 0;
}